On Conjectures in t-Norm Based Fuzzy Logics
نویسندگان
چکیده
This paper is a humble homage to Enric Trillas. Following his foundational contributions on models of ordinary reasoning in an algebraic setting, we study here elements of these models, like conjectures and hypothesis, in the logical framework of continuous t-norm based fuzzy logics. We consider notions of consistency, conjecture and hypothesis arising from two natural families of consequence operators definable in these logics, namely the ones corresponding to the so-called truthpreserving and degree-preserving consequence relations. We pay special attention to the particular cases of three prominent fuzzy logics: Gödel, Product and Łukasiewicz logics
منابع مشابه
On Conjectures in t-Norm Based Fuzzy Logics
This paper is a humble homage to Enric Trillas. Following his foundational contributions on models of ordinary reasoning in an algebraic setting, we study here elements of these models, like conjectures and hypothesis, in the logical framework of continuous t-norm based fuzzy logics. We consider notions of consistency, conjecture and hypothesis arising from two natural families of consequence o...
متن کاملOn the (fuzzy) logical content of CADIAG-2
CADIAG-2 is a successful expert system assisting in the differential diagnosis in internal medicine. With its aid, conjectures about present diseases are derived from possibly vague information about a patient’s symptoms. In this paper we provide a mathematical formalisation of the inferential mechanism of CADIAG-2. A Gentzen-style calculus for the resulting logic is introduced and used to comp...
متن کاملOn Triangular Norm-Based Propositional Fuzzy Logics
Fuzzy logics based on triangular norms and their corresponding conorms are investigated. An aarmative answer to the question whether in such logics a speciic level of satissability of a set of formulas can be characterized by the same level of satissability of its nite subsets is given. Tautologies, contradictions and contingencies with respect to such fuzzy logics are studied, in particular fo...
متن کاملT-norm based fuzzy logics preserving degrees of truth
T-norm based fuzzy logics are usually considered as truth preserving, that is, taking 1 as the only truth value to be preserved in inferences. In this paper we study t-norm based fuzzy logics preserving degrees of truth, that is, preserving the lower bounds of the truth degrees of the premises. These logics are axiomatizable by using a restricted form of Modus Ponens together with the rule of A...
متن کاملTriangular norm based predicate fuzzy logics
5 The paper surveys the present state of knowledge on t-norm based predicate fuzzy logics with their double semantics: standard (the set of truth values being the real interval [0,1]) and general with abstract algebras of truth functions. 7 © 2009 Published by Elsevier B.V.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015